Syllogistic Reasoning under the Weak Completion Semantics

Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics

A Computational Logic Approach to Syllogisms in Human Reasoning

Abstract. Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had di culties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion sema...

Monadic Reasoning using Weak Completion Semantics

A recent meta-analysis carried out by Khemlani and Johnson-Laird showed that the conclusions drawn by humans in psychological experiments about syllogistic reasoning deviate from the conclusions drawn by classical logic. Moreover, none of the current cognitive theories predictions fit the empirical data. In this paper a Computational Logic analysis clarifies seven principles necessary to draw t...

A Computational Logic Approach to Human Syllogistic Reasoning

A recent meta-analysis (Khemlani & Johnson-Laird, 2012) about psychological experiments of syllogistic reasoning demonstrates that the conclusions drawn by human reasoners strongly deviate from conclusions of classical logic. Moreover, none of the current cognitive theories predictions fit reliably the empirical data. In this paper, we show how human syllogistic reasoning can be modeled under a...

From Logic Programming to Human Reasoning: How to be Artificially Human

Results of psychological experiments have shown that humans make assumptions, which are not necessarily valid, that they are influenced by their background knowledge and that they reason non-monotonically. These observations show that classical logic does not seem to be adequate for modeling human reasoning. Instead of assuming that humans do not reason logically at all, we take the view that h...